A Formalisation of the Soccer Substitution Rules
نویسنده
چکیده
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMTools environment. The formalisation helps improve the precision of the original rules, stated in natural language. This animation shows that the rules make a useless distinction between goalkeeper and field player substitutions.
منابع مشابه
Effect of Gradation and Particle Shape on Sand Properties as Coverage of Beach Soccer Ground - Details of a Patent
Background. Beach soccer is one of the most well-known international sports in the world. The laws of the game were introduced by some associations and today they are covered by FIFA. There are also certain rules for the selection of beach soccer sand, but the specifications are too simple and rough. Thus, a wide range of sand types falls in the acceptable range of FIFA. Objectives. In this st...
متن کاملSubstitution as a Device of Grammatical Cohesion in English Contexts
The present study set out to investigate the effect of teaching substitution as a kind of grammatical cohesion on the true identification of confusing substitution elements with cohesive or non-cohesive roles in different contexts and also the production of modal, reporting and conditional contexts through clausal substitution acquaintance. To this end, the following procedures were taken. Firs...
متن کاملThe Effect of Soccer Ball Impulse on Lower Limbs of the Human Body
Despite the fact that soccer is one of the most popular sports in the world, little attention has been paid to this game scientifically which could otherwise provide a broad range of interesting outcomes. Sport equipment has a significant effect on how a game is played. Different features of the soccer ball such as its size, structure, weight and potential incoming pressure also affect the natu...
متن کاملExplicit Substitutions Calculi with Explicit Eta Rules
It has been argued that the notion of substitution in the λ-calculus needs to be made explicit and many calculi have been developed in which the computational steps of the substitution operation involved in β-contractions have been atomised. In contrast to the great variety of developments for making explicit formalisations of the Beta rule, less work has been done for giving explicit definitio...
متن کاملExplicit substitutions calculi with one step Eta-reduction decided explicitly
It has long been argued that the notion of substitution in the λ-calculus needs to be made explicit. This resulted in many calculi have been developed in which the computational steps of the substitution operation involved in β-contractions have been atomised. In contrast to the great variety of developments for making explicit formalisations of the Beta rule, less work has been done for giving...
متن کامل